$\mathrm{glyph3}=1$$(\mathrm{glyph5}=1)\land (\mathrm{glyph51}=1)\land (\mathrm{glyph8}=1)\land (\mathrm{glyph13}=1)$$(\mathrm{glyph49}=1)\land (\mathrm{glyph50}=1)\land (\mathrm{glyph33}=1)$$(\mathrm{glyph54}=1)\land (\mathrm{glyph61}=1)\land (\mathrm{glyph62}=1)$$\mathrm{glyph2}=1$$\mathrm{glyph2}=1$$\mathrm{glyph63}=1$$\mathrm{glyph63}=1$$\mathrm{glyph40}=1$$\mathrm{glyph63}=1$$\mathrm{glyph63}=1$$\mathrm{glyph40}=1$$\mathrm{glyph13}=1$$\mathrm{glyph63}=1$$\mathrm{glyph40}=1$$\mathrm{glyph2}=1$$\mathrm{glyph17}=1$$\mathrm{glyph63}=1$$\mathrm{glyph63}=1$$\mathrm{glyph3}=1$$\mathrm{glyph2}=1$$\mathrm{glyph63}=1$$\mathrm{glyph40}=1$$\mathrm{glyph40}=1$$\mathrm{glyph13}=1$$\mathrm{glyph2}=1$$\mathrm{glyph17}=1$$\mathrm{glyph63}=1$$\mathrm{glyph63}=1$$\mathrm{glyph63}=1$$\mathrm{glyph20}=1$$\mathrm{glyph63}=1$$\mathrm{glyph20}=1$